大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings

0
索取号：
作者：Diekert、 Volker.、Nowotka、 Dirk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

0
索取号：
作者：Carette、 Jacques.、Dixon、 Lucas.、Coen、 Claudio Sacerdoti.、Watt、 Stephen M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Introduction to Modern Traffic Flow Theory and Control [electronic resource] : The Long Road to Three-Phase Traffic Theory

0
索取号：
作者：Kerner、 Boris S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Single Molecule Spectroscopy in Chemistry, Physics and Biology [electronic resource] : Nobel Symposium

0
索取号：
作者：Gr盲slund、 Astrid.、Rigler、 Rudolf.、Widengren、 Jerker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Solid-State Physics [electronic resource] : Introduction to the Theory

0
索取号：
作者：Patterson、 James.、Bailey、 Bernard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human Interface and the Management of Information. Information and Interaction [electronic resource] : Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号：
作者：Salvendy、 Gavriel.、Smith、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human Interface and the Management of Information. Designing Information Environments [electronic resource] : Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I

0
索取号：
作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Continuous-Time Markov Decision Processes [electronic resource] : Theory and Applications

0
索取号：
作者：Guo、 Xianping.、Hern谩ndez-Lerma、 On茅simo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music [electronic resource] : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Renormalization Group Theory [electronic resource] : Impact on Experimental Magnetism

0
索取号：
作者：K枚bler、 Ulrich.、Hoser、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Combinatorial Pattern Matching [electronic resource] : 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings

0
索取号：
作者：Kucherov、 Gregory.、Ukkonen、 Esko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

0
索取号：
作者：Franceschinis、 Giuliana.、Wolf、 Karsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

0
索取号：
作者：Lewis、 Grace A.、Poernomo、 Iman.、Hofmeister、 Christine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theory and Practice of Model Transformations [electronic resource] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

0
索取号：
作者：Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Architecture Knowledge Management [electronic resource] : Theory and Practice

0
索取号：
作者：Ali Babar、 Muhammad.、Dings酶yr、 Torgeir.、Lago、 Patricia.、van Vliet、 Hans.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Dynamic Taxonomies and Faceted Search [electronic resource] : Theory, Practice, and Experience

0
索取号：
作者：Sacco、 Giovanni Maria.、Tzitzikas、 Yannis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.